Большой энциклопедический словарь - формализация
Формализация
формализация
представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
Формализация, представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы, или исчисления. Ф., осуществляемая на базе определенных абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретенной способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5341 | |
2 | 2836 | |
3 | 2698 | |
4 | 2691 | |
5 | 2203 | |
6 | 2190 | |
7 | 1947 | |
8 | 1802 | |
9 | 1793 | |
10 | 1763 | |
11 | 1517 | |
12 | 1509 | |
13 | 1419 | |
14 | 1356 | |
15 | 1317 | |
16 | 1282 | |
17 | 1264 | |
18 | 1186 | |
19 | 1168 | |
20 | 1077 |